Mit Erfahrung und integrativem Blick zur sicheren Diagnose!

Zur Integration von Struktur- und Verhaltensmodellierung mit OCL

Das werkzeuggestützte Validieren von in der Unified Modeling Language (UML) spezifizierten Modellen ist zu einem wichtigen Forschungszweig in der modellgetriebenen Softwareentwicklung geworden. Durch eine frühzeitige Validierung sollen Designfehler bereits zu Beginn des Entwicklungsprozesses aufgedeckt werden, um spätere aufwändige Korrekturen zu vermeiden. Herkömmliche Werkzeuge in diesem Kont...

Zur Lösung von zahlentheoretischen Problemen mit klassischen und Quantencomputern

In this thesis, we will present and analyze algorithms for classical and quantum computers which solve some number theoretical problems. Moreover we will investigate their impact on current public key cryptosystems. In [Sho94] Shor presented quantum algorithms which determine the period lattice of some functions in quantum polynomial time. These algorithms can be applied to solve the factoring ...

OR.NET: Ein Projekt auf dem Weg zur sicheren dynamischen Vernetzung in OP und Klinik

Aspekte der Authentifizierung und Signaturen anhand der Erfahrung eines productiven Internetservice zur Archiveirung digitaler persönlicher Dokumente

Es gibt seit Jahren die Techniken zur sicheren Übertragung und Abspeicherung digitaler Daten in einer vernetzten Welt: Digitale Signaturen, PKI, Verschlüsselungstechniken, Hardware-Token, etc. Daraus würde man folgern, dass es nicht weiter schwer wäre, darauf aufbauend einen sicheren Internetdienst zur Kommunikation und Abspeicherung privater Daten zu implementieren. In der Praxis befindet sich...

Ansatz zur Metamodellierung mit Verhalten und dessen Anwendungen

Metamodellierung bietet ein adäquates Mittel für die Definition verschiedenster Artefakte in Softwareentwicklungsprojekten. Um eine vollständige, ausführbare Spezifikation von Softwaresystemen und Plattformen zu erhalten, bedarf es Metamodellen mit Verhaltensbeschreibungen. Im Rahmen dieses Forschungsvorhaben werden verschiedene Erweiterungen der Meta Object Facility (MOF) der Object Management...